基于扩展π演算的分布式事务故障检测模型

【摘要】随着大数据和网络技术的发展，分布式事务逐渐成为当前数据处理的主流模式。在分布式事务的研究中，如何避免由于网络延迟和站点故障引起的事务阻塞，并且有效区分这两种故障成为人们研究的热点问题。在分布式事务故障检测与区分问题上，本文提出一种层次化检测模型，它具有贴近实际网络拓扑结构、探测路径清晰和探测报文数量较少等优点。该模型在原有模型的基础之上增加了辅助协调者的概念，一方面可以有效解决协调者通信负载过大的问题，缩短各个子事务并行处理的时间；另一方面通过对故障的探测和区分，可以减少因失效造成的无谓的事务提交，增强了协议的可靠性和可用性。针对分布式事务的特点，本文选用DπF演算作为建模语言，并对DπF进行扩展，加入了表示时钟的算子。扩展后的DπF演算可以直观地描述分布式事务故障中节点失效、链路失效和进程迁移的情形，最后通过互模拟理论对这两类故障进行区分验证。从形式化的角度来分析分布式事务故障的各种表现和特性，可以帮助设计者完善和优化系统，开发分布式故障检测器，同时对研究容错恢复技术构建可靠的分布式数据库具有重要的意义。
【作者】赖少光；
【导师】康辉；
【作者基本信息】吉林大学，计算机应用技术，2014，硕士
【关键词】分布式事务；DPi演算；节点故障；链路故障；

【参考文献】
[1]于月琴.浙江省战略性新兴产业综合发展评价和发展驱动因素分析[D].浙江工商大学,统计学,2013,硕士.
[2]蒋宗礼.计算思维之我见[J].中国大学教学,2013,09:5-10.
[3]高京辉.基于web技术办公设备管理系统设计与实现[D].山东大学,软件工程（专业学位）,2012,硕士.
[4]史良.“回忆的模仿”[D].四川外国语大学,德语语言文学,2013,硕士.
[5]刘西茹.Gadd45α对滋养细胞功能的调控及其在子痫前期发病中的作用机制研究[D].重庆医科大学,妇产科学,2014,博士.
[6]崔凯.滕固艺术教育思想研究[D].河北大学,艺术学,2014,硕士.
[7]周少林.武警官兵人格特征与应对方式研究[D].湖南师范大学,应用心理学,2014,硕士.
[8]啜阿丹.失眠症患者相关因素、证候与汉密尔顿焦虑量表的相关研究[D].北京中医药大学,中医内科学,2014,硕士.
[9]刘婷.YH公司销售业务流程的建模与仿真优化[D].华南理工大学,工业工程,2012,硕士.
[10]徐瑞.高硅含锌冶炼粉尘酸浸过程中硅的行为研究[D].北京有色金属研究总院,有色金属冶金,2013,硕士.
[11]王丽英.中国书籍装帧艺术中“书卷气”的探究[D].东北师范大学,设计艺术学,2012,硕士.
[12]王星洋.新疆边销茶政策研究[D].新疆大学,马克思主义民族理论与政策,2013,硕士.
[13]张希安.我国小额诉讼程序的问题研究[D].沈阳师范大学,诉讼法学,2014,硕士.
[14]薛佩.试论英语新闻中语法衔接手段的汉译方法[D].湖南师范大学,翻译（专业学位）,2013,硕士.
[15]叶莲娜.汉俄含颜色词成语的对比研究[D].东北师范大学,汉语言文字学,2012,硕士.
[16]朱叶.基于组合模型的南疆区域经济发展趋势研究[D].塔里木大学,农村与区域发展,2013,硕士.
[17]吴南.醉酒驾驶型危险驾驶罪研究[D].山东大学,法律,2012,硕士.
[18]李凯旋.胶囊内窥图像识别研究[D].南方医科大学,生物医学工程,2012,硕士.
[19]郁捷.“剩女”现象的社会学分析[D].长春工业大学,社会学,2013,硕士.
[20]向凤玲.张雪门幼儿游戏思想研究[D].西南大学,学前教育学,2014,硕士.
[21]吴辰.碳纳米管（CNTs）水泥砂浆复合材料实验研究[D].清华大学,2013.
[22]于翠.磁性吸附功能高分子材料的制备及其性能研究[D].兰州大学,化学工程（专业学位）,2013,硕士.
[23]倪波涛.福州市中心城区大型零售商业布局优化研究[D].厦门大学,城市规划与设计,2014,硕士.
[24]沈瑶.非正式网络中隐性知识传递效果的影响机制研究[D].浙江大学,2007.
[25]黄长华.论张爱玲小说的悲剧意识[D].福建师范大学,中国现当代文学,2004,硕士.
[26]朴仙灵.关于日语格助词“デ”的语义特征的考察[D].上海外国语大学,日语语言文学,2012,硕士.
[27]袁毅.《中文社会科学引文索引》认识与应用偏差分析[J].图书馆论坛,2003,06:154-156+181.
[28]赵丽菡.职业学校项目教学实施过程中的问题及对策[D].河北师范大学,课程与教学论,2014,硕士.
[29]杨莹.灾害事件中公益微博的媒介框架呈现[D].西南大学,传播学,2014,硕士.
[30]王珏,戴汝为.一种语义网络[J].自动化学报,1986,04:339-346.
[31]崔国丽.基于立体摄影测量的路面损坏裂缝自动检测技术研究[D].长安大学,信号与信息处理,2013,硕士.
[32]章中林.耳聋的青蛙与诺贝尔奖[J].科学大观园,2013,13:61.
[33]吕复栋.民俗习惯的司法适用[D].南京师范大学,法学理论,2014,博士.
[34]李颖基,彭宏,郑启伦,曾炜.自动分层推荐算法[J].计算机应用,2002,11:8-10.
[35]程久欢.Ti_3Al金属间化合物激光焊温度场的数值模拟[D].武汉理工大学,材料加工工程,2004,硕士.
[36]冯硕.382例宫颈癌患者术后高危型HPV感染的转归及继发VAIN的治疗[D].郑州大学,妇产科学（专业学位）,2013,硕士.
[37]邱会萍.移动无线传感器网络sink移动策略的研究与实现[D].南京邮电大学,电子与通信工程（专业学位）,2013,硕士.
[38]郑冬冬.IBM即将发布2GHz石墨烯集成电路未来有可能取代CMOS电路[J].半导体信息,2011,05:29.
[39]时婧.分布式电源规划及光伏系统MPPT技术研究[D].东北石油大学,电力电子与电力传动,2013,硕士.
[40]王飞.基于不同控制点的高新技术企业员工压力、工作倦怠与离职意愿关系研究[D].浙江大学,2006.
[41]韩美玲.棉花GhIAA14基因的分子克隆、组织表达与功能分析[D].南京农业大学,遗传学,2013,硕士.
[42]张芸芸.集团型企业资金集中管理模式研究[D].北京交通大学,2013.
[43]段飞.南方联通公司3G业务发展战略研究[D].北京邮电大学,工商管理（专业学位）,2012,硕士.
[44]胡玲杰.基于用户潜在兴趣网络的社会化推荐方法及应用[D].上海大学,计算机应用技术,2014,硕士.
[45]潘永生,庄天戈.决策树算法及其在乳腺疾病图像数据挖掘中的应用[J].计算机应用研究,2002,09:78-79+145.
[46]李婷.离子液体在甲烷液相直接催化氧化中的作用[D].大连工业大学,化学工艺,2011,硕士.
[47]崔怀磊.基于DSP全数字光伏并网逆变器的三电平控制策略研究[D].山东大学,电力电子与电力传动,2013,硕士.
[48]戴建志.电子数据库的法律保护[D].中国政法大学,法律,2003,硕士.
[49]闫慧文.无线便携式血糖仪的研制[D].中国科学院研究生院（沈阳计算技术研究所）,计算机技术,2014,硕士.
[50]李宏.传统市场调研与网上市场调研的比较研究[J].企业经济,2004,05:67-68.